double pipe - Deutsch Englisch Wörterbuch